Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
151	Abstraction-Based Guided Search for Hybrid Systems Sergiy Bogomolov1 , Alexandre Donz´e2 , Goran Frehse3 , Radu Grosu4 , Taylor T. Johnson5 , Hamed Ladan1 , Andreas Podelski1 , and Martin Wehrle6 1 Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-05-14 12:15:43 Algorithm Science KeY STING Automata theory Models of computation Applied mathematics Mathematics Model checking
152	Complete list of publications Pierre Ganty December 15, 2012 Conference Publications [1] Pierre Ganty, Radu Iosif, and Filip Koneˇcn´ y. Underapproximation of procedure summaries for integer programs. In TACAS ’13: P Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-12-15 15:15:15 Models of computation Model checking Petri net Lecture Notes in Computer Science ALGOL 68 Computer Aided Verification Formal methods Software engineering Computing Programming language theory
153	Reasoning about Security in Mobile Ambients ? Michele Bugliesi1 , Giuseppe Castagna2 , and Silvia Crafa1,2 Dipartimento di Informatica Univ. “Ca’ Foscari”, Venezia, Italy 1 Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:00:39 Applied mathematics Computer science Models of computation Mathematics Π-calculus Lambda calculus Model theory Mobile Membranes Process calculi Theoretical computer science Ambient calculus
154	1 Research Summary The primary focus of my research is to develop formal methods and tools which support the modeling and automated analysis of complex computational systems, including software systems, Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:12:54 Science Automata theory Formal methods Concurrent computing Scientific modeling Model checking Unified Modeling Language Finite-state machine Modeling language Computing Theoretical computer science Models of computation
155	Document Clustering using Word Clusters via the Information Bottleneck Method Noam Slonim and Naftali Tishby School of Computer Science and Engineering and The Interdisciplinary Center for Neural Computation The Hebrew U Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2003-04-20 20:18:06 Cluster analysis Computational linguistics Information retrieval Information bottleneck method Hierarchical clustering Document clustering Single-linkage clustering Word-sense disambiguation Vector space model Statistics Natural language processing Multivariate statistics
156	Well-founded Recursion over Contextual Objects Brigitte Pientka1 and Andreas Abel2 1 2 Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2015-02-07 05:55:59 Functions and mappings Model theory Computability theory Primitive recursive function Recursion Theory of computation Interpretation Function First-order logic Mathematical logic Mathematics Logic
157	Curriculum Vitae Last name : First name : Date and place of birth: Nationality: Address: Add to Reading List Source URL: software.imdea.org Language: English - Date: 2012-12-15 15:15:28 Computer science Model checking Petri net Computer Aided Verification Formal methods ALGOL 68 Models of computation Software engineering Computing
158	Summer Lecture Series 2002 Dynamical Systems Model of the Simple Genetic Algorithm Introduction to Michael Vose’s Theory Add to Reading List Source URL: cs.gmu.edu Language: English - Date: 2007-06-21 16:40:24 Genetic algorithms Mathematics Science Evolutionary computation Algorithm Crossover Evolution Cybernetics Applied mathematics Mathematical optimization
159	PDF Document Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2012-10-25 20:21:20 Symbol Uppaal Model Checker Model theory Models of computation Formal languages Automata theory Model checkers Model checking
160	PDF Document Add to Reading List Source URL: flux.cs.queensu.ca Language: English - Date: 2014-10-30 17:26:17 Software engineering Computing Theoretical computer science Formal methods UML diagrams Model checking Finite-state machine ALGOL 68 UML state machine Models of computation Automata theory Digital electronics

UPDATE